package com.wachulski.marcin.msc.utils;

import com.wachulski.marcin.msc.pl.PLFoundationKB;
import com.wachulski.marcin.msc.pl.PLSystemKB;
import com.wachulski.marcin.msc.pl.PLBoundaryKB;;

public final class KBCollections {
	private KBCollections() {};
	
	public static final PLFoundationKB[] PL_FOUNDATION_KBS = { 
		KBWarehouse.KB_BASIC_FOUNDATION,
		//KBWarehouse.KB_SET_THEORY
	};
	
	public static final PLSystemKB[] PL_SYSTEM_KBS = { 
		KBWarehouse.KB_BASIC_SYSTEM,
		KBWarehouse.KB_C
		//KBWarehouse.KB_ZLP
	};
	
	public static final PLBoundaryKB[] PL_BOUNDARY_KBS = {
		KBWarehouse.KB_BASIC_BOUNDARY
	};
}
